What Are Principal Typings and What Are They Good For? Technical Memorandum Mittlcsstmm532
نویسنده
چکیده
We demonstrate the pragmatic value of the principal typing property, a property more general than ML's principal type property, by studying a type system with principal typings. The type system is based on rank 2 intersection types and is closely related to ML. Its principal typing property provides elegant support for separate compilation, including \smartest recompilation" and incremental type inference, and for accurate type error messages. Moreover, it motivates a novel rule for typing recursive de nitions that can type many examples of polymorphic recursion. Type inference remains decidable; this is surprising, since type inference for ML plus polymorphic recursion is undecidable.
منابع مشابه
Evaluation of an evaluation
Introduction. Evaluation is a systematic way to improve and make more effective actions that involves procedures which are useful, feasible, ethical, and accurate. Common questions in all evaluations are: do all part of program do well and effective? What is the good functioning? Why the program or its parts do not work well? What are the effects and consequences of the program? Is this progra...
متن کاملO5: Technical Accident Reconstruction-What Can be Learned to Improve Medical Treatment in Trauma Patients
Annually, more than 1 million people were killed in road traffic accidents worldwide every year and an uncounted number were severe injured. In 2012 fatal injuries caused by road traffic accidents are under the top ten lists of causes of death in the world. It´s expected that in the near future road traffic accidents become one of the main causes of death in the world. Most of these fatal injur...
متن کاملآموزش سنتی معماری در ایران و ارزیابی آن از دیدگاه یادگیری مبتنی بر مغز
Valuable Iranian traditional architectural works show that they were made by the artists who had high artistic, technical and cultural abilities and such capabilities in these people show that they had good knowledge of architecture. It is obvious that, despite the lack of academic educational system during that time, the existence of these capabilities could not be carried out only by personal...
متن کاملاز خود بیگانگی در سازمان
The variables responsible for worker alienation in the under- developed countries are divided into two categories: cultural and organizational factors. Identification of these two types of factors in those countries should help us understand employee alienation better than that of the existing western models. In developing countries, there exist three types of behavioural dispositions (or eth...
متن کاملمروری برمبانی اخلاق واخلاق پزشکی
Background and Objective: In realm of medical ethics, four major areas namely, philosophy, medicine, theology and law must be considered. The aim of medical ethics is to resolve the ethical problems, which is due to the specific medical practice and research in biology. Analysis of ethical concepts is essential for addressing of medical ethics. To achieve this goal, understanding the fundamenta...
متن کامل